Hybrid concurrency control for abstract data types
نویسندگان
چکیده
منابع مشابه
Distributed Abstract Data Types
Abstract. In this paper we introduce the concept of Distributed Abstract Data Type (DADT), a new programming model simplifying the development of distributed, context-aware applications. A DADT instance logically encapsulates a collection of ADT instances distributed throughout the system. DADT operations specify the semantics of access to this distributed state by using dedicated programming c...
متن کاملAbstract Constraint Data Types
Constraint Data Types José Luiz Fiadeiro and Fernando Orejas Dep. of Computer Science, Royal Holloway University of London, Egham TW20 0EX, UK [email protected] 2 Dep. de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain [email protected] Abstract. Martin Wirsing is one of the earliest contributors to the area of Algebraic Specification (e....
متن کاملConcurrency and Data Types : a Speci
Methods are needed to help using formal speciications in a practical way. We present a speciication method that takes into account both the speciication of concurrent activity and the speciication of the data types involved. It is applied here to LOTOS speciication, but it may be used for other formalisms. Our method is both constraint oriented (for the processes decomposition into parallel sub...
متن کاملAbstract Data Types without the Types
Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
متن کاملThe Case for Enhanced Abstract Data Types
The explosion in complex multi-media content makes it crucial for database systems to support such data efficiently. We make the case that the next generation of object-relational database systems should be based on Enhanced Abstract Data Type (E-ADT) technology, rather than on the “blackbox” ADTs used in current systems. An E-ADT is an abstract data type that exposes the semantics of its metho...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 1991
ISSN: 0022-0000
DOI: 10.1016/0022-0000(91)90031-y